--
--- For Sean
--- Show that postfix operators do indeed work.
--
module examples.Postfix where

import  Test.QuickCheck as Q

infix 1 `³` `²`

--- cube of a number
(x³) = x ^ 3

--- square of a number
(²) = (^2)

prop23 = property (\(n :: Integer) -> (n³) == n*(n²))

main = do
    print "venti sette " 
    println (3³)
    print "some cubes "
    println (map (³) [1..10])
    Q.quickCheck prop23
